大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

String Processing and Information Retrieval [electronic resource] : 19th International Symposium, SPIRE 2012, Cartagena de Indias, Colombia, October 21-25, 2012. Proceedings

0
索取号：
作者：Calder贸n-Benavides、 Liliana.、Gonz谩lez-Caro、 Cristina.、Ch谩vez、 Edgar.、Ziviani、 Nivio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Outdoor and Large-Scale Real-World Scene Analysis [electronic resource] : 15th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, June 26 - July 1, 2011. Revised Selected Papers

0
索取号：
作者：Dellaert、 Frank.、Frahm、 Jan-Michael.、Pollefeys、 Marc.、Leal-Taix茅、 Laura.、Rosenhahn、 Bodo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Fast Software Encryption [electronic resource] : 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers

0
索取号：
作者：Canteaut、 Anne.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Data-Driven Process Discovery and Analysis [electronic resource] : First International Symposium, SIMPDA 2011, Campione d鈥橧talia, Italy, June 29 鈥ʵly 1, 2011, Revised Selected Papers

0
索取号：
作者：Aberer、 Karl.、Damiani、 Ernesto.、Dillon、 Tharam.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in New Technologies, Interactive Interfaces and Communicability [electronic resource] : Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers

0
索取号：
作者：Cipolla-Ficarra、 Francisco.、Veltman、 Kim.、Verber、 Domen.、Cipolla-Ficarra、 Miguel.、Kamm眉ller、 Florian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Algorithmic Game Theory [electronic resource] : 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings

0
索取号：
作者：Serna、 Maria.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Human-Computer Interaction, Tourism and Cultural Heritage [electronic resource] : Second International Workshop, HCITOCH 2011, C贸rdoba, Argentina, September 14-15, 2011, Revised Selected Papers

0
索取号：
作者：Cipolla-Ficarra、 Francisco.、Veltman、 Kim.、Chih-Fang、 Huang.、Cipolla-Ficarra、 Miguel.、Kratky、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Vision-ECCV 2012. Workshops and Demonstrations [electronic resource] : Florence, Italy, October 7-13, 2012, Proceedings, Part III

0
索取号：
作者：Fusiello、 Andrea.、Murino、 Vittorio.、Cucchiara、 Rita.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Knowledge Engineering and Knowledge Management [electronic resource] : 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012. Proceedings

0
索取号：
作者：Teije、 Annette.、V枚lker、 Johanna.、Handschuh、 Siegfried.、Stuckenschmidt、 Heiner.、d鈥橝cquin、 Mathieu.、Nikolov、 Andriy.、Aussenac-Gilles、 Nathalie.、Hernandez、 Nathalie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Vision-ECCV 2012. Workshops and Demonstrations [electronic resource] : Florence, Italy, October 7-13, 2012, Proceedings, Part II

0
索取号：
作者：Fusiello、 Andrea.、Murino、 Vittorio.、Cucchiara、 Rita.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Vision-ECCV 2012. Workshops and Demonstrations [electronic resource] : Florence, Italy, October 7-13, 2012, Proceedings, Part I

0
索取号：
作者：Fusiello、 Andrea.、Murino、 Vittorio.、Cucchiara、 Rita.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Software Engineering and Formal Methods [electronic resource] : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

0
索取号：
作者：Eleftherakis、 George.、Hinchey、 Mike.、Holcombe、 Mike.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Vision-ECCV 2012 [electronic resource] : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part VII

0
索取号：
作者：Fitzgibbon、 Andrew.、Lazebnik、 Svetlana.、Perona、 Pietro.、Sato、 Yoichi.、Schmid、 Cordelia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Vision-ECCV 2012 [electronic resource] : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part VI

0
索取号：
作者：Fitzgibbon、 Andrew.、Lazebnik、 Svetlana.、Perona、 Pietro.、Sato、 Yoichi.、Schmid、 Cordelia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.